completion of a metric space